It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to (...) their fully realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

Hintikka considers that the “Transcendental Deduction” includes finding the role that concepts in the effort is meant by human activities of acquiring knowledge; and it affirms that the principles governing human activities of knowledge can be objective rules that can become transcendental conditions of experience and no conditions contingent product of nature of human agents involved in the know. In his opinion, intuition as it is used by Kant not be understood in the traditional way, ie as producer of (...) mental images, but rather as that which the mind represents an individual. To support this interpretation refers to the lessons of Kant´s Logics, to individuality space time and the thesis, submitted the winning essay in 1764, characterizing the mathematical method by the use of particular representatives of general concepts. Thus, his exegesis considers the Kantian conceptions of the “Doctrine of Method” not later conceptions, as traditionally interpreted, but prior conceptions to the processing of “Transcendental Aesthetic”. This article reconstructs some of their arguments that eventually will equal the Kantian intuition with the Euclidean ecthesis. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more (...) inter-related. My proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la (...) logique illocutoire. (shrink)

On Jaakko Hintikka’s understanding of Aristotle’s modal thought, Aristotle is committed to a version of the Principle of Plenitude, which is the thesis that no genuine possibility will go unactualized in an infinity of time. If in fact Aristotle endorses the Principle of Plenitude, everything becomes necessary. Despite the strong evidence that Aristotle indeed accepts that Principle of Plenitude, there are key texts in which Aristotle seems to contradict it. On Hintikka’s final word on the matter, Aristotle (...) either endorses the Principle of Plenitude or Aristotle is simply inconsistent. Without challenging Hintikka’s interpretation of the relevant texts, I show how Aristotle may accept a form of the Principle of Plenitude that allows for genuine unactualized possibilities in the world. What allows me to reconcile the seemingly inconsistent data is to show how Aristotle is only committed to a de re version of the Principle of Plenitude. After I lay out my proposal, I show how it opens up new ways in which we might understand Aristotle’s attempt to reject fatalism in his De interpretatione 9. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In (...) a second step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds (...) on Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. (...) Finally, it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)

‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative transcendental arguments directly confront the (...) skeptic with the choice of abandoning either skepticism or some other deep theoretical commitment. Many philosophers, from Aristotle and St. Thomas Aquinas to Jaakko Hintikka, C.I. Lewis, and Bernard Lonergan, have claimed that some skeptical propositions regarding knowledge, reason, and/or morality can be shown to be self-defeating; that is to say, they have claimed that the very upholding of some skeptical position is in some way incompatible with the position being upheld, or with the implied, broader dialectical position of the skeptic in question. Statements or propositions alleged to have this characteristic also sometimes are called ‘self-falsifying,’ ‘self-refuting,’ ‘self-stultifying,’ ‘self-destructive,’ or ‘pointless.’ However, proponents of the strategy of showing skepticism to be self-defeating have not in general adequately distinguished between two types of self-defeating proposition: self-falsifying and self-stultifying. In the first part of this paper I distinguish between self-falsifying and self-stultifying propositions, and introduce the notion of performative self-falsification. In the second part I discuss classical transcendental arguments, ‘modest’ transcendental arguments, and objections to each. In the third part I introduce two types of transcendental argument—each labeled “performative”—corresponding to two types of performatively self-falsifying proposition, and I compare them to modest transcendental arguments. (shrink)

In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview (...) of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities – in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

In the framework of Husserl's phenomenology, intentionality is regarded as the main feature of every act of consciousness. Our consciousness is directed towards objects immanent in it, however in a variety of epistemological functions and operations, such as sensory perception, judgment, cognition, volition, imagination, etc. Husserl uses the technical terms noesis and noema to designate the intentional acts of consciousness and their outcome in the constitution of objects in consciousness. At the same time, the persistence of a hyletic data is (...) emphasized, which as pure sense data escapes the phenomenological reduction and remains as such a residuum in the consciousness. In my lecture I try to work out the clear implication of epistemological referentiality in the phenomenological basic notion of intentionality. Among other things, I rely on the conceptual history of intentionality, i. e. on the earlier theories of intentionality in the Middle Ages and the philosophical revival of this notion in the late 19th century by Franz Brentano. Referentiality defines itself as the referential access of consciousness to objects of sensory perception, judgment, cognition, etc., in which the objects form the final referents. In the phenomenological framework, intentionality refers to the intentional access of consciousness to objects irrespective of their consciousness-immanence or -transcendence. The analogy between intentionality and referentiality is therefore based on the act-character as well as the directionality of consciousness which suggests the characteristic attempt of consciousness to gain intentional-referential access to objects. The directionality of consciousness in every intentional act ultimately marks and confirms the referentiality i. e the referential access of consciousness to the object. Intentionality as intentional-referential access to objects becomes a problem, when the access of consciousness to the object proves to be inadequate. I try to show how this problem of referentiality inevitably arises in Husserl's phenomenology of inner time-consciousness, especially in his conception of a time-object (Zeitobjekt). The consciousness-immanence of a time-object, such as a melody, points to a problem, that the intertwining of the temporality of consciousness and that of time-object necessarily results in various aporias of time, as Paul Ricœur observes and discusses in detail in his seminal work Temps et Récit. Moreover, the residual persistence of hyletic data, that survives all phenomenological reductions, would establish an actual interface between consciousness and reality, as Jaakko Hintikka emphasizes in his essay The phenomenological dimension. The aporicity of time refers to the autonomy of time and, thereby, to the autonomy of time-object in its intentional in-existence in consciousness. The hyletic data as interface between consciousness and reality points to the necessary referential extension of consciousness to objects that are otherwise excluded in the context of phenomenology. From these and similar premises, I would like to demonstrate how the problem of referentiality in Husserl's philosophy of time inevitably presupposes a reversion of referentiality within the prevailing noesis-noema structure that underlies the consciousness-immanence of objects. (shrink)

Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s possible that p’ are analyzable in terms (...) of knowledge, not belief. A number of later theorists, including Keith DeRose, provide alternative accounts of epistemic possibility, while retaining Moore’s two assumptions. Neither assumption has been explicitly challenged, but Jaakko Hintikka’s analysis provides a basis for doing so. Drawing upon Hintikka’s analysis, I argue that some epistemic possibility statements express only the speaker’s individual epistemic state, and that contra DeRose, they are not degenerate community statements but a class in their own right. I further argue that some linguistic contexts are belief- rather than knowledge-based, and in such contexts, what is possible for a speaker depends not upon what she knows, but upon what she believes. (shrink)

Cet article a pour but d’étudier les perspectives que l’approche performative de la preuve fournit, afin de répondre à deux questions classiques liées à l’interprétation de l’argument cartésien : Cogito ergo sum. La première question est la suivante : quel type de contrainte logique ou non-logique ergo exprime-t-il dans la formulation de cet argument? La seconde question est celle-ci : quel type d’existence est manifesté par l’argument Cogito, ou Cogito ergo quis est ?

In order to deal with the problem caused by environmental luck some proponents of robust virtue epistemology have attempted to argue that in virtue of satisfying the ability condition one will satisfy the safety condition. Call this idea the entailment thesis. In this paper it will be argued that the arguments that have been laid down for the entailment thesis entail a wrong kind of safety condition, one that we do not have in mind when we require our beliefs to (...) be safe from error in order for them to be knowledge. (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

The epistemology of modality has focused on metaphysical modality and, more recently, counterfactual conditionals. Knowledge of kinds of modality that are not metaphysical has so far gone largely unexplored. Yet other theoretically interesting kinds of modality, such as nomic, practical, and ‘easy’ possibility, are no less puzzling epistemologically. Could Clinton easily have won the 2016 presidential election—was it an easy possibility? Given that she didn’t in fact win the election, how, if at all, can we know whether she easily could (...) have? This paper investigates the epistemology of the broad category of ‘objective’ modality, of which metaphysical modality is a special, limiting case. It argues that the same cognitive mechanisms that are capable of producing knowledge of metaphysical modality are also capable of producing knowledge of all other objective modalities. This conclusion can be used to explain the roles of counterfactual reasoning and the imagination in the epistemology of objective modality. (shrink)

This collection of essays discusses a central feature of European philosophy: the idea of a universal active power as the ultimate world-explanation.

This article surveys recent developments in the epistemology of modality.

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

The aim of this paper is to critically examine the concept of semantic objectivity inherent in Robert Brandom`s works, most importantly Making It Explicit. Concerning Brandom`s theoretical aims, I shall argue that there is some discrepancy between his formal and informal characterisations of the criteria by which his account is to be judged as adequate. After expounding on the discrepancy, I shall propose to reconstruct a mostly implicit line of argument in MIE, highlighted by the more recent developments of Brandom`s (...) work, which I think suffices to smooth it over. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

According to the causal-historical theory of reference, natural kind terms refer in virtue of complicated causal relations the speakers have to their environment. A common objection to the theory is that purely causal relations are insufficient to fix reference in a determinate fashion. The so-called hybrid view holds that what is also needed for successful fixing are true descriptions associated in the mind of the speaker with the referent. The main claim of this paper is that the objection fails: reference (...) fixing of natural kind terms can be purely causal. The main argument draws inspiration from recent theoretical advances made in metaphysics of kinds by Marion Godman, Antonella Mallozzi, and David Papineau. The main claim is that their notion of super-explanatory properties may explain how reference of many kind terms can be fixed purely causally. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true in all (...) possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

Artikkeli käsittelee Saul Kripken Ludwig Wittgensteinin myöhemmistä töistä koostamaa merkityskeptistä haastetta, erityisesti niin kutsuttua äärellisyyden ongelmaa. Pääargumentti on, että skeptisen haasteen pääasiallinen vastaaja, semanttinen dispositionalismi, ei uusimmistakaan yrityksistä huolimatta ole kyennyt ratkaisemaan äärettömyyden ongelmaa. Ratkaistakseen ongelman dispositionalistin tulisi selittää, kuinka on mahdollista, että äärellinen puhuja voisi omata disposition käyttää jotain termiä äärettömässä määrässä tapauksia määrätyllä tavalla. Monet dispositionalistit esittävät, että ratkaisu löytyy niin kutsutuista ceteris paribus -ehdoista, joita vastaan Martin Kusch on argumentoinut. Jatkan Kuschin kritiikkiä ja osoitan ceteris paribus -strategian (...) keskeiset ongelmat, minkä lisäksi vastaan myös kahteen näistä ehdoista riippumattomaan dispositionalistiseen strategiaan. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

Timothy Williamson famously argued that assertion is constituted either by the knowledge rule or some similar epistemic rule. If true, the proposal has important implications for criticism of assertions. If assertions are analogical to other rule-constituted kinds like games, we can criticize assertions either on external or internal grounds, depending on whether the criticism draws from the necessary norms of assertion or some contingent ones. More recently, authors like Goldberg and MacFarlane have argued against other theories of assertion on the (...) grounds that they cannot explain the possibility of internal criticism for assertions. This paper raises methodological problems with these arguments. The main idea is to show that alternative, non-normative accounts of assertion can also explain the apparent differences in grounds of criticism without assuming that assertion is necessarily governed by some epistemic norm. (shrink)

As the title suggests, this paper is something of a leftover – or perhaps a new branch – to my "Meaning in Time: on temporal externalism and Kripkenstein’s skeptical challenge". In that work I essayed to portray my understanding of the sceptical challenge uncovered by Saul Kripke’s reading of Wittgenstein’s later works in a nutshell as to its nature and resolution. Here, my task is to dig a little deeper into the key phrase of the earlier paper, namely the claim (...) that meanings, facts grounding meaning facts, and ascriptions of meaning have an important historical dimension to them. In particular, I explore the ideas that (i) the problem of finitude is fundamentally a logical and not a metaphysical problem and (ii) Devitt's development of Kripke's causal-historical theory of reference implies a natural explanation for how at least the meanings of some terms can have a historical dimension. (shrink)

Michael Fara's ‘habitual analysis’ of disposition ascriptions is equivalent to a kind of ceteris paribus conditional analysis which has no evident advantage over Martin's well known and simpler analysis. I describe an unsatisfactory hypothetical response to Martin's challenge, which is lacking in just the same respect as the analysis considered by Martin; Fara's habitual analysis is equivalent to this hypothetical analysis. The feature of the habitual analysis that is responsible for this cannot be harmlessly excised, for the resulting analysis would (...) be subject to familiar counter-examples. (shrink)

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of (...) LF, lays out some notational conventions, and states some basic technical facts about the system. (shrink)

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...) from that model theory, one of which I will find to be more plausible than the other. (shrink)

Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...) a deductive consequence of a pair of widely accepted principles whose relevance to the issue has hitherto gone unnoticed. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, which (...) does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

This paper offers a new account of the epistemic significance of disagreement which is grounded in two assumptions; that knowledge is the norm of belief and, that the safety condition is a necessary condition for knowledge. These assumptions motivate a modal definition of epistemic peerhood, which is much easier to operate on than the more traditional definitions of epistemic peerhood. The modal account of the epistemic significance of disagreement yields plausible results regarding cases of disagreement. Furthermore, it is able to (...) tap into the intuitions that have motivated the conformist and the nonconformist positions and it locates a fruitful middle-ground between these two conflicting positions. It will be shown that the conformist is correct in that cases of real peer disagreement force us to suspend our judgment. The reason for this is that in cases of real peer disagreement our beliefs fail to be safe. The nonconformist, on the other hand, is right in that disagreement in itself does not have any epistemic power. It is only by the grace of nature that we gain knowledge. The fact that someone disagrees with you does not mean that you do not have knowledge. (shrink)

What was Saul Kripke’s personal stance on the sceptical challenge that he famously attributed to Ludwig Wittgenstein? It will be argued that despite his statements to the contrary, we can, in fact, outline at least a rough sketch of Kripke’s own views on the challenge and its aftermath on the basis of the remarks he left in the text. In summary, Kripke (a) rejected the sceptical solution to the challenge and (b) leaned towards a non-sceptical primitivist solution. If this is (...) correct, it follows that there is a way in which Kripke's view makes his causal-historical picture of reference potentially able to solve the sceptical challenge. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

How can we figure out what’s right or wrong, if moral truths are neither self-evident nor something we can perceive? Very roughly, the method of reflective equilibrium (RE) says that we should begin moral inquiry from what we already confidently think, seeking to find a a match between our initial convictions and general principles that are well-supported by background theories, mutually adjusting both until we reach a coherent outlook in which our beliefs are in harmony (the equilibrium part) and we (...) know why and how they support each other (the reflective part). It has been central to the self-understanding of normative ethics and other branches of philosophy in the last half a century. In this chapter, we examine the history of the idea of RE and introduce a schema for generating 256 variants. We explain why RE is subject to serious objections insofar as it purports to yield epistemic justification in virtue of achieving coherence. However, we also develop a new argument to the effect that RE is the best feasible method for us to achieve moral understanding and the ability to justify our judgments to others. It may thus be crucial for responsible moral inquiry, even if coherence among considered judgments and principles is neither sufficient nor necessary for justified moral belief. (shrink)

According to all varieties of virtue reliabilism knowledge is always gained through the exercise of epistemic competences. These competences can be conceived as competences to form true beliefs, or as competences to know. I will present a short but decisive argument against the idea that knowledge is always gained through the exercise of competences to know. The competence to know isn’t necessary for gaining knowledge.

The notion of credit plays a central role in virtue epistemology and in the literature on moral worth. While virtue epistemologists and ethicists have devoted a significant amount of work to providing an account of creditable success, a unified theory of credit applicable to both epistemology and ethics, as well as a discussion of the general form it should take, are largely missing from the literature. Our goal is to lay out a theory of credit that seems to underlie much (...) of the discussion in virtue epistemology, which we dub the Cake Theory. We argue that given the goals that virtue epistemologists and ethicists who discuss moral worth have, this theory is problematic, for it makes credit depend on the wrong facts. (shrink)